By using SIAM Journals Online you agree to abide by the
Terms and Conditions of Use.

©  SIAM

 

SIAM Journal on Computing

Table of Contents
Search This Issue
Volume 4, Issue 1, pp. 1-96

Please Note: Electronic articles are available well in advance of the printed articles.

What Article options are available ?   View Cart   

On Simple Goedel Numberings and Translations

J. Hartmanis and T. P. Baker

pp. 1-11

BibTeX  Abstract Full Text:  PDF

Realization with Feedback Encoding. I: Analogues of the Classical Theory

Dennis P. Geller

pp. 12-33

BibTeX  Abstract Full Text:  PDF

Realization with Feedback Encoding. II: Applications to Distinguishing Sequences

Dennis P. Geller

pp. 34-48

BibTeX  Abstract Full Text:  PDF

Computational Complexity of Inner Products of Vectors (And That of Other Bilinear Forms) over a Noncommutative Ring (Auxiliary Functions Allowed)

Robert Mandl and Thomas Vari

pp. 49-55

BibTeX  Abstract Full Text:  PDF

Faithful Representation of a Family of Sets by a Set of Intervals

Kapali P. Eswaran

pp. 56-68

BibTeX  Abstract Full Text:  PDF

A Decision Procedure for the First Order Theory of Real Addition with Order

Jeanne Ferrante and Charles Rackoff

pp. 69-76

BibTeX  Abstract Full Text:  PDF

Finding All the Elementary Circuits of a Directed Graph

Donald B. Johnson

pp. 77-84

BibTeX  Abstract Full Text:  PDF

State-Splitting for Stochastic Machines

Eugene S. Santos

pp. 85-96

BibTeX  Abstract Full Text:  PDF